Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
541	On Incomplete XML Documents with Integrity Constraints Pablo Barcel´ o1 , Leonid Libkin2 , and Juan Reutter2 1 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-15 16:03:34 Information Markup languages Technical communication XML P-complete Model theory B-tree Integrity constraints Relational database Computing Data Constraint programming
542	Formal analysis and implementation of the Faust programming language Report of first PhD year Imré Frotier de la Messelière1 PhD advisor: Pierre Jouvelot1 PhD co-advisor: Jean-Pierre Talpin2 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-19 09:00:24 Type theory Formal methods Type systems Constraint programming Satisfiability Modulo Theories Type inference Logic programming Hindley–Milner Algorithm Mathematics Theoretical computer science Applied mathematics
543	Gecode an open constraint solving library Guido Tack Programming Systems Lab, Saarland University, Germany OSSICP´08 workshop at CP-AI-OR´08, May 22, Paris Add to Reading List Source URL: www.gecode.org Language: English - Date: 2009-11-26 06:35:49 Royal Institute of Technology GUIDO music notation Constraint satisfaction problem Local consistency Tack Software Constraint programming Gecode Computing
544	Neighborhood Portfolio Approach for Local Search applied to Timetabling Problems∗ Luca Di Gaspero and Andrea Schaerf , Dipartimento di Ingegneria Elettrica, Gestionale e Meccanica U Add to Reading List Source URL: www.diegm.uniud.it Language: English - Date: 2008-12-11 12:42:16 Mathematics Constraint programming Mathematical optimization Local search Algorithm Tabu search Constraint satisfaction problem Search algorithm Simulated annealing Operations research Applied mathematics Numerical analysis
545	Efficient Reasoning about Data Trees via Integer Linear Programming Claire David Leonid Libkin Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-15 16:00:04 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Boolean satisfiability problem Symbol Tree automaton Satisfiability Theoretical computer science Applied mathematics Mathematics
546	[scale=0.2]mines-paris-tech-4107050fwhym1713 .4cm A Constraint-Solving Approach to Faust Program Type Checking .4cm Constraint Programming Meets Verification 2014 Workhsop Add to Reading List Source URL: feever.fr Language: English - Date: 2014-09-15 03:55:43 Type theory Constraint programming Type systems Programming paradigms Declarative programming Type inference Faust ALGOL 68 OCaml Software engineering Computing Computer programming
547	Higher-Order and Symbolic Computation, 18, 245–269, 2005 c 2005 Springer Science + Business Media, Inc. Manufactured in The Netherlands. Selectors Make Set-Based Analysis Too Hard PHILIPPE MEUNIER Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-11-28 16:38:29 Lambda calculus Constraint programming Type theory Theoretical computer science Scheme Lambda System F Local consistency Constraint logic programming Programming language theory Software engineering Computer science
548	Parallel Execution of Prolog Programs: a Survey GOPAL GUPTA University of Texas at Dallas ENRICO PONTELLI New Mexico State University KHAYRI A.M. ALI Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2010-04-03 13:35:16 Programming paradigms Logic programming Constraint programming Prolog Warren Abstract Machine Logic Constraint logic programming Parallel computing Procedural programming Software engineering Computer programming Computing
549	Automatic Data Mapping of Signal Processing Applications Corinne Ancourt1 Denis Barthou2 Christophe Guettier3 Francois Irigoin1 Bertrand Jeannet3 Jean Jourdan3 Juliette Mattioli3 Abstract Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-04-10 10:40:28 Software engineering Computer programming Parallel computing Loop optimization Automatic parallelization Constraint logic programming Memory address Constraint satisfaction problem Compiler optimizations Constraint programming Computing
550	Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)? Oleg Kiselyov1 , William E. Byrd2 , Daniel P. Friedman2 , and Chung-chieh Shan3 1 Add to Reading List Source URL: okmij.org Language: English - Date: 2008-01-22 19:40:33 Functions and mappings Function Prolog Constraint logic programming Unification Multiplication FO Constructible universe Mathematics Mathematical logic Logic programming

UPDATE